求解对流扩散方程的紧致二级四阶Runge-Kutta差分格式

将指数变换u(x,t)=p(x,t)exp(k2εx)应用于一维对流扩散方程,对空间变量x应用紧致差分格式,时间变量t采用二级四阶Runge-Kutta方法,提出了精度为o(τ4+h4)的绝对稳定的差分格式,讨论了稳定性.最后通过数值算例说明该格式的有效性.     

对称性在积分计算中的应用规律

利用积分域的对称性简化积分计算是优先考虑的计算策略之一.如果积分域由对称的两部分组成,首先考察积分域是否具有方向性,然后考察被积函数在对称点处的函数值是否相等或者相反.当积分域无方向性时,若被积函数在对称点处的函数值相等,则积分简化成半个积分域上积分的2倍;若被积函数在对称点处的函数值相反,则积分为零.当积分域有方向性时,结论正好与积分域无方向性时的结论相反.如果积分域具有轮换对称性,当对被积函数做相应的坐标轮换时,积分值不变.     

A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

Poisson ARCH(1)过程的中偏差及其应用

给出Poisson ARCH(1)过程的中偏差存在形式,并将Poisson ARCH(1)过程应用到一个离散风险模型中,利用获得的中偏差结果,对其有限破产概率进行了渐近等价估算.     

部分线性回归模型中改进的差分估计及SCAD

考虑了部分线性回归模型中回归参数向量估计的问题,提出了具有更好性质的压缩差分估计,并且将SCAD惩罚函数运用到模型中得到SCAD估计,然后通过Monte Carlo模拟了压缩差分估计和SCAD估计的相关结果,并对它们之间的优劣进行了比较.     

基于成像算子优化的微震逆时定位方法

针对目前微震逆时定位成像存在的问题,提出一种优化后的成像算子,对模型数据进行抗噪性、误差速度以及检波器分布和数量进行测试,并提出采用峰度值作为定位成像结果的评价标准。结果表明,优化后的成像条件在定位能量聚焦程度和成像分辨率上都得到了提升,对含速度误差和含噪微震数据都有较好的成像结果,并且对检波器的分布和数量有较好的适应性,取得了较为理想的定位效果。     

基于三支决策的二阶段分类模型研究

当对三支决策边界域进一步划分时,边界域知识存在划分信息不足,从而导致分类精度不高,针对上述问题提出一种新的基于三支决策的二阶段分类模型(TWD-TP).第一阶段根据贝叶斯规则构建三支决策中样本的条件概率,通过求解最优化损失函数得到所需阈值,然后按照三支决策规则对数据集进行划分.三支决策是基于最小风险贝叶斯决策理论的划分,在其正域、负域中包含一定的误分类样本;在第二阶段通过类标签索引分别将正域、负域中误分样本作为增量信息引入延迟决策域,形成重构边界域,最后对重构边界域进行划分.实验结果表明:所提出的TWD-TP模型不仅能在三支决策划分中筛选出高误分类特征的样本,同时其重构边界域中不能被划分的样本得到正确划分,分类精度进一步提高.     

天波雷达对空探测任务下积累时间自适应优化设置研究

针对人工设置天波雷达相干积累时间存在盲目性, 不能充分发挥雷达探测性能的问题, 以空中目标探测为研究对象, 提出了自适应积累时间设置优化方法。首先, 分析了积累时间对天波超视距雷达探测性能的影响。其次, 计算了影响相干积累时间的信号时宽和积累点数的最优值。然后, 提出了自适应设置积累点数的方法。最后, 通过实验证明了本文方法比人工方法更能提高天波雷达探测性能。     

考虑用户行为和排错延迟的多版本软件可靠性增长模型

软件在测试阶段和使用阶段操作环境的差别导致软件测试可靠性和运行可靠性不完全相同.软件在发布后的使用和维护阶段,软件可靠性的增长不仅体现在软件固有故障的排除,而且用户对软件的熟悉程度也会影响软件的可靠性.本文研究了软件固有故障检测过程、固有故障纠正过程和外在失效过程的特征,建立了考虑用户行为和排错延迟下的多版本软件可靠性增长模型.通过一组来自于开源软件用户缺陷跟踪系统中的真实数据进行数值分析,试验结果表明提出的模型具有较好的效果.